monoidal 閉圈
モノイド閉圏 - Wikipedia
Closed category と closed monoidal category